Process-Oriented Organization Modeling and Analysis Based on Constraints
نویسنده
چکیده
This paper presents a formal framework for process-oriented modeling and analysis of organizations. The high expressivity of a sorted predicate logic language LPR used for specifying process-oriented models allows representing a wide range of process-related concepts (e.g., tasks, processes, resources), their characteristics and relations over them, which are described in the paper. Furthermore, every organization is characterized by a set of structural and behavioral constraints expressed over its tasks and processes, which are classified in this paper. In the proposed framework these constraints form a logical theory TPR in LPR, i.e. a set of formulae in LPR. Then, a constructed process-oriented model is correct iff it satisfies TPR. The techniques for establishing the correctness of a process-oriented model are implemented and described in this paper. The introduced framework is a part of a general framework for organization modelling and analysis.
منابع مشابه
Process-oriented Organization Modeling and Analysis
This paper presents a formal framework for process-oriented modeling and analysis of organizations. The high expressivity of a sorted predicate logic language used for specification allows representing a wide range of process-related concepts (e.g., tasks, processes, resources), characteristics and relations, which are described in the paper. Furthermore, for every organization, structural and ...
متن کاملPreventing Key Performance Indicators Violations Based on Proactive Runtime Adaptation in Service Oriented Environment
Key Performance Indicator (KPI) is a type of performance measurement that evaluates the success of an organization or a partial activity in which it engages. If during the running process instance the monitoring results show that the KPIs do not reach their target values, then the influential factors should be identified, and the appropriate adaptation strategies should be performed to prevent ...
متن کاملA Systematic Review and Assessment of Aspect-oriented Methods Applied to Business Process Adaptation
Today’s ever-changing business environments, comprised among other things of customer expectations, market demands, and legal obligations, require dynamic and adaptive business processes. Hence, enterprises need to monitor and improve their business processes against their business goals and constraints. Aspect-oriented development is known to have helped designers cope with changing concerns i...
متن کاملDevelop a leadership model based on early maladaptive schemas and psychological flexibility
Background and Aim: Today, human resources are the most valuable asset of the organization.The entry of psychology into the management leap led to the use of various theories of psychology and citation and the creation of human relationships to explain the personality and behavior of the individual in the organization, and concepts such as motivation and organizational behavior were emphasized....
متن کاملProduction Constraints Modelling: A Tactical Review Approach
A constraint is a limitation or a restriction that poses a threat to the performance and efficiency of a system. This paper presented a tactical review approach to production constraints modeling. It discussed the theory of constraints (TOC) as a thinking process and continuous improvement strategy to curtail constraints in other to constantly increase the performance and efficiency of a system...
متن کامل